1. Assessment of Freshwater Use and Cycling in Petrochemical Industry
پدیدآورنده : Md Ariful Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Chemical engineering; Sustainability; Environmental engineering,Social sciences;Applied sciences
2. Formal Verification of Nonlinear Biological Systems
پدیدآورنده : Md Ariful Islam
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Applied sciences;C. elegans;Cardiac electrophysiology;Compositional reasoning;Formal verification;Nonlinear system;Reachability analysis
